// Copyright lowRISC contributors (OpenTitan project).
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0
//
// Transition from host mode states to AcquireStart and Idle
// wont happen since `start_det` and `stop_det` used to
// detect start and stop conditions are not asserted in
// host mode.
// Refer OT issue https://github.com/lowRISC/opentitan/issues/18651
//==================================================
// This file contains the Excluded objects
// Generated By User: jdonjdon
// Format Version: 2
// Date: Tue May 23 22:40:14 2023
// ExclMode: default
//==================================================
CHECKSUM: "371713049 1649385353"
ANNOTATION: "[LOWRISC] Host mode state -> AcquireStart, Idle"
INSTANCE: tb.dut.i2c_core.u_i2c_fsm
Fsm state_q "1694135612"
Transition Active->AcquireStart "1->21"
Fsm state_q "1694135612"
Transition Active->Idle "1->0"
Fsm state_q "1694135612"
Transition ClockLow->AcquireStart "9->21"
Fsm state_q "1694135612"
Transition SetupStop->Idle "6->0"
Fsm state_q "1694135612"
Transition SetupStop->AcquireStart "6->21"
Fsm state_q "1694135612"
Transition SetupStart->Idle "3->0"
Fsm state_q "1694135612"
Transition SetupStart->AcquireStart "3->21"
Fsm state_q "1694135612"
Transition ReadHoldBit->AcquireStart "17->21"
Fsm state_q "1694135612"
Transition ReadClockPulse->AcquireStart "16->21"
Fsm state_q "1694135612"
Transition ReadClockLow->AcquireStart "15->21"
Fsm state_q "1694135612"
Transition PopFmtFifo->AcquireStart "2->21"
Fsm state_q "1694135612"
Transition HostHoldBitAck->AcquireStart "20->21"
Fsm state_q "1694135612"
Transition HostClockPulseAck->AcquireStart "19->21"
Fsm state_q "1694135612"
Transition HostClockLowAck->Idle "18->0"
Fsm state_q "1694135612"
Transition HostClockLowAck->AcquireStart "18->21"
Fsm state_q "1694135612"
Transition HoldStop->AcquireStart "7->21"
Fsm state_q "1694135612"
Transition HoldStart->Idle "4->0"
Fsm state_q "1694135612"
Transition HoldStart->AcquireStart "4->21"
Fsm state_q "1694135612"
Transition HoldDevAck->AcquireStart "14->21"
Fsm state_q "1694135612"
Transition HoldBit->AcquireStart "11->21"
Fsm state_q "1694135612"
Transition ClockStop->Idle "8->0"
Fsm state_q "1694135612"
Transition ClockStop->AcquireStart "8->21"
Fsm state_q "1694135612"
Transition ClockStart->Idle "5->0"
Fsm state_q "1694135612"
Transition ClockStart->AcquireStart "5->21"
Fsm state_q "1694135612"
Transition ClockPulseAck->AcquireStart "13->21"
Fsm state_q "1694135612"
Transition ClockPulse->AcquireStart "10->21"
Fsm state_q "1694135612"
Transition ClockLowAck->AcquireStart "12->21"
